Дистрибутивная решётка — Дистрибутивная решётка решетка, в которой справедливо тождество равносильное тождествам и Дистрибутивные решётки характеризуются тем, что все их выпуклые подрешётки служат смежными классами конгруэнций. Всякая дистрибутивная решётка… … Википедия
ПРОМЕЖУТОЧНАЯ ЛОГИКА — высказываний произвольное непротиворечивое множество пропозициональных формул, замкнутое относительно правила вывода модус поненс и правила подстановки и содержащее все аксиомы интуиционистского исчисления высказываний I. Наиболее естественным… … Математическая энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Решётка Стоуна — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Стоуна решё … Википедия
Головинский, Илья Абрамович — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей … Википедия
Илья Абрамович Головинский — Головинский Файл:Ilia Golovinsky.JPG Дата рождения: 30 января 1951 Место рождения: Ленинград Илья Абрамович Головинский (р. 30 января 1951, Ленинград) российский математик … Википедия
Илья Головинский — Илья Абрамович Головинский Головинский Файл:Ilia Golovinsky.JPG Дата рождения: 30 января 1951 Место рождения: Ленинград Илья Абрамович Головинский (р. 30 января 1951, Ленинград) российский математик … Википедия
БУЛЕВА АЛГЕБРА — булева решетк а, частично упорядоченное множество специального вида. Б. а. наз. дистрибутивная решетка (дистрибутивная структура), имеющая наибольший элемент 1 единицу Б. а., наименьший элемент 0 нуль Б. а. и содержащая вместе с каждым своим… … Математическая энциклопедия
СПРАВЕДЛИВОСТЬ — общая нравственная санкция совместной жизни людей, рассмотренной по преимуществу под углом зрения сталкивающихся желаний, интересов, обязанностей; способ обоснования и распределения между индивидами выгод и тягот их совместного существования в… … Философская энциклопедия
Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… … Википедия
